<html>
  <head>
    <title>Python console</title>
    <script src="source.js"></script>
  </head>
  <body onload="launch_console()">
    <p>Console Launching, please wait...</p>
  </body>
</html>